A Unit Testing Framework for Network Configurations
نویسندگان
چکیده
We present in this paper a unit testing framework for network configurations which verifies that the configuration meets prior defined requirements of the networks behavior. This framework increases the trust in the correctness, security and reliability of a networks configuration. Our testing framework is based on a behavioral simulation approach as it is used in hardware design [HM01]. The unit testing framework is part of the SNSF VeriNeC project [UNJB05].
منابع مشابه
Reconfiguration of distribution systems to improve reliability and reduce power losses using Imperialist Competitive Algorithm
Distribution systems can be operated in multiple configurations since they are possible combinations of radial and loop feeders. Each configuration leads to its own power losses and reliability level of supplying electric energy to customers. In order to obtain the optimal configuration of power networks, their reconfiguration is formulated as a complex optimization problem with different objec...
متن کاملPrediction of methanol loss by hydrocarbon gas phase in hydrate inhibition unit by back propagation neural networks
Gas hydrate often occurs in natural gas pipelines and process equipment at high pressure and low temperature. Methanol as a hydrate inhibitor injects to the potential hydrate systems and then recovers from the gas phase and re-injects to the system. Since methanol loss imposes an extra cost on the gas processing plants, designing a process for its reduction is necessary. In this study, an accur...
متن کاملDesigning and evaluation of a decision support system for prediction of coronary artery disease
Introduction: Since human health is the issue of Medical Research, correct prediction of results is of a high importance. This study applies probabilistic neural network (PNN) for predicting coronary artery disease (CAD), because the PNN is stronger than other methods. Methods: In this descriptive-analytic study, The PNN method was implemented on 150 patients admitted to the Mazandaran Heart...
متن کاملEvaluating Global Health Partnerships: A Case Study of a Gavi HPV Vaccine Application Process in Uganda
Background Global health partnerships have grown rapidly in number and scope, yet there has been less emphasis on their evaluation. Gavi, the Vaccine Alliance, is one such public-private partnership; in Gavi-eligible countries partnerships are dynamic networks of immunization actors who work together to support all stages and aspects of Gavi support. This paper describes a conceptual framework ...
متن کاملFlexible Scheduling of Active Distribution Networks for Market Participation with Considering DGs Availability
The availability of sufficient and economic online capacity to support the network while encountering disturbances and failures leading to supply and demand imbalance has a crucial role in today distribution networks with high share of Distributed Energy Resources (DERs), especially Renewable Energy Resources (RESs). This paper proposes a two-stage decision making framework for the Distribution...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005